*MOD—A Language for Distributed Programming

Joyce - A Programming Language for Distributed Systems

This paper describes a secure programming language called Joyce based on CSP and Pascal. Joyce permits unbounded (recursive) activation of communicating agents. The agents exchange messages through synchronous channels. A channel can transfer messages of different types between two or more agents. A compiler can check message types and ensure that agents use disjoint sets of variables only. The...

Language Constructs for Distributed Real-Time Programming

For many distributed applications, it is not sufficient for programs to be logically correct. In addition, they must satisfy various timing constraints. This paper discusses primitives that support the construction of distributed real-time programs. Our discussion is focused in two areas: timing specification and communication. To allow the specifications of timing constraints, we introduce the...

Concert/C: A Language for Distributed Programming

Concert C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics Concert C provides the ability to create and terminate processes connect them together and communicate among them It supports transparent remote function calls RPC and asynchronous messages Interprocess communications interfaces are typed in Concert C and type correctness i...

A Language for Parallel and Distributed Programming

This paper introduces the newest version of the SR concurrent programming language and illustrates how it provides support for different execution environments, ranging from shared-memory multiprocessors to distributed systems. SR uses a few well-integrated mechanisms for concurrency to provide flexible, yet efficient, support for parallel and distributed programming. This paper gives several r...

Phantom: An Interpreted Language for Distributed Programming